"Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Категория: Cs_Computer science, CsAi_AI, knowledge

3.93 Mb

#2

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Категория: Cs_Computer science, CsAi_AI, knowledge

6.60 Mb

#3

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

8.32 Mb